Model-based Operational Planning Using Coloured Petri Nets
نویسندگان
چکیده
This paper presents a framework for modelling military operational plans with Coloured Petri Nets (CPN) and its supporting computer tool, Design/CPN. A mapping relationship between key concepts of an operational plan and CPN constructs is established. Parts of an exercise campaign plan were modelled using the proposed framework, and state space analysis of the model conducted to assess operational readiness of the friendly force.
منابع مشابه
Operational Planning using Web-Based Interfaces to a Coloured Petri Net Simulator of Influence Nets
We present an environment for web-based simulation of influence nets to be used for operational planning. Previous work in this field has shown how influence nets, which are used for probabilistic modelling, can be extended with time and then translated into a coloured Petri net to do temporal evaluation of plans. Simulating the coloured Petri net model in a web environment makes it easy for a ...
متن کاملAvailability evaluation of Software architecture of object oriented Style using coloured Petri nets
Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...
متن کاملnewYAWL: Specifying a Work ow Reference Language using Coloured Petri Nets
newYAWL is a business process modelling language founded on the work ow patterns. It radically extends the YAWL o ering to provide holistic support for the controlow, data and resource perspectives and allows business processes to be captured in su cient detail that they can be directly enacted. In order to ensure that business processes are executed in a deterministic way, newYAWL is based on ...
متن کاملModeling and Verification of a Protocol for Operational Support Using Coloured Petri Nets
In this paper, we describe the modeling and analysis of a protocol for operational support during workflow enactment. Operational support provides online replies to questions such as “is my execution valid?” and “how do I end the execution in the fastest/cheapest way?”, and may be invoked multiple times for each execution. Multiple applications (operational support providers) may be able to ans...
متن کاملSoccer Goalkeeper Task Modeling and Analysis by Petri Nets
In a robotic soccer team, goalkeeper is an important challenging role, which has different characteristics from the other teammates. This paper proposes a new learning-based behavior model for a soccer goalkeeper robot by using Petri nets. The model focuses on modeling and analyzing, both qualitatively and quantitatively, for the goalkeeper role so that we have a model-based knowledge of the ta...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001